// Lean compiler output
// Module: Std.Time.Time.Unit.Minute
// Imports: public import Std.Time.Time.Unit.Second
#include <lean/lean.h>
#if defined(__clang__)
#pragma clang diagnostic ignored "-Wunused-parameter"
#pragma clang diagnostic ignored "-Wunused-label"
#elif defined(__GNUC__) && !defined(__CLANG__)
#pragma GCC diagnostic ignored "-Wunused-parameter"
#pragma GCC diagnostic ignored "-Wunused-label"
#pragma GCC diagnostic ignored "-Wunused-but-set-variable"
#endif
#ifdef __cplusplus
extern "C" {
#endif
LEAN_EXPORT lean_object* l_Std_Time_Minute_Ordinal_ofNat(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_Offset_ofInt___boxed(lean_object*);
static lean_object* l_Std_Time_Minute_instInhabitedOrdinal___closed__2;
static lean_object* l_Std_Time_Minute_instInhabitedOrdinal___closed__6;
static lean_object* l_Std_Time_Minute_instInhabitedOrdinal___closed__10;
LEAN_EXPORT lean_object* l_Std_Time_Minute_Ordinal_ofInt(lean_object*, lean_object*);
static lean_object* l_Std_Time_Minute_instNegOffset___closed__0;
LEAN_EXPORT uint8_t l_Std_Time_Minute_instDecidableLtOffset(lean_object*, lean_object*);
static lean_object* l_Std_Time_Minute_instInhabitedOrdinal___closed__0;
static lean_object* l_Std_Time_Minute_instOrdOrdinal___closed__2;
LEAN_EXPORT lean_object* l_Std_Time_Minute_instOrdOffset;
LEAN_EXPORT lean_object* l_Std_Time_Minute_instDecidableLtOffset___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_instDecidableLtOrdinal___boxed(lean_object*, lean_object*);
lean_object* lean_int_emod(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_Ordinal_ofInt___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_instOrdOrdinal;
static lean_object* l_Std_Time_Minute_instInhabitedOrdinal___closed__7;
LEAN_EXPORT lean_object* l_Std_Time_Minute_instReprOrdinal;
LEAN_EXPORT lean_object* l_Std_Time_Minute_instInhabitedOffset;
lean_object* l_Std_Time_Internal_instOrdUnitVal___lam__0___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_Ordinal_toOffset___boxed(lean_object*);
static lean_object* l_Std_Time_Minute_instInhabitedOrdinal___closed__9;
lean_object* l_Std_Time_Internal_Bounded_instOrd___lam__0___boxed(lean_object*);
uint8_t lean_int_dec_le(lean_object*, lean_object*);
static lean_object* l_Std_Time_Minute_instReprOrdinal___closed__0;
lean_object* l_compareOn___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_Ordinal_ofInt___redArg___boxed(lean_object*);
lean_object* l_instNatCastInt___lam__0(lean_object*);
static lean_object* l_Std_Time_Minute_instReprOffset___closed__0;
lean_object* l_Std_Time_Internal_instInhabitedUnitVal_default(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_Ordinal_ofInt___redArg(lean_object*);
static lean_object* l_Std_Time_Minute_instOrdOrdinal___closed__0;
LEAN_EXPORT lean_object* l_Std_Time_Minute_instDecidableLeOffset___boxed(lean_object*, lean_object*);
lean_object* lean_nat_to_int(lean_object*);
LEAN_EXPORT uint8_t l_Std_Time_Minute_instDecidableEqOffset(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Nat_cast___at___00Std_Time_Minute_instReprOffset_spec__0(lean_object*);
lean_object* l_Std_Time_Internal_Bounded_instRepr___lam__0___boxed(lean_object*, lean_object*);
lean_object* l_Std_Time_Internal_UnitVal_instToString___lam__0___boxed(lean_object*);
LEAN_EXPORT uint8_t l_Std_Time_Minute_instDecidableLeOffset(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_instInhabitedOrdinal;
LEAN_EXPORT lean_object* l_Std_Time_Minute_instDecidableLeOrdinal___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_Ordinal_ofFin(lean_object*);
LEAN_EXPORT lean_object* l_Nat_cast___at___00Nat_cast___at___00Std_Time_Minute_instReprOffset_spec__0_spec__0(lean_object*);
lean_object* l_Std_Time_Internal_Bounded_LE_instOfNatHAddIntCast(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_instLTOffset;
static lean_object* l_Std_Time_Minute_instSubOffset___closed__0;
LEAN_EXPORT uint8_t l_Std_Time_Minute_instDecidableEqOrdinal(lean_object*, lean_object*);
static lean_object* l_Std_Time_Minute_instInhabitedOffset___closed__0;
LEAN_EXPORT lean_object* l_Std_Time_Minute_instLTOrdinal;
LEAN_EXPORT lean_object* l_Std_Time_Minute_Ordinal_toOffset(lean_object*);
static lean_object* l_Std_Time_Minute_instInhabitedOrdinal___closed__3;
LEAN_EXPORT lean_object* l_Std_Time_Minute_instReprOffset;
static lean_object* l_Std_Time_Minute_instInhabitedOrdinal___closed__1;
static lean_object* l_Std_Time_Minute_instOrdOrdinal___closed__1;
lean_object* lean_int_sub(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_instNegOffset;
static lean_object* l_Std_Time_Minute_instInhabitedOrdinal___closed__4;
lean_object* l_Std_Time_Internal_UnitVal_sub___boxed(lean_object*, lean_object*, lean_object*);
lean_object* l_Std_Time_Internal_UnitVal_add___boxed(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_Offset_ofInt(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_Ordinal_ofNat___redArg(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_instLEOrdinal;
LEAN_EXPORT lean_object* l_Std_Time_Minute_instAddOffset;
lean_object* l_Std_Time_Internal_UnitVal_instRepr___lam__0___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_instToStringOffset;
static lean_object* l_Std_Time_Minute_instOfNatOrdinal___closed__0;
static lean_object* l_Std_Time_Minute_instAddOffset___closed__0;
static lean_object* l_Std_Time_Minute_instInhabitedOrdinal___closed__5;
static lean_object* l_Std_Time_Minute_instOrdOffset___closed__0;
LEAN_EXPORT uint8_t l_Std_Time_Minute_instDecidableLtOrdinal(lean_object*, lean_object*);
lean_object* l_Int_neg___boxed(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_instOfNatOrdinal(lean_object*);
uint8_t lean_int_dec_lt(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_instDecidableEqOrdinal___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_instSubOffset;
lean_object* l_instOrdInt___lam__0___boxed(lean_object*, lean_object*);
static lean_object* l_Std_Time_Minute_instInhabitedOrdinal___closed__8;
LEAN_EXPORT uint8_t l_Std_Time_Minute_instDecidableLeOrdinal(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_instOfNatOffset(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_instDecidableEqOffset___boxed(lean_object*, lean_object*);
lean_object* lean_int_add(lean_object*, lean_object*);
uint8_t lean_int_dec_eq(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_Offset_ofNat(lean_object*);
lean_object* l_Rat_ofInt(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Minute_instLEOffset;
static lean_object* l_Std_Time_Minute_instInhabitedOffset___closed__1;
static lean_object* l_Std_Time_Minute_instToStringOffset___closed__0;
static lean_object* _init_l_Std_Time_Minute_instReprOrdinal___closed__0() {
_start:
{
lean_object* x_1; 
x_1 = lean_alloc_closure((void*)(l_Std_Time_Internal_Bounded_instRepr___lam__0___boxed), 2, 0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Minute_instReprOrdinal() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Minute_instReprOrdinal___closed__0;
return x_1;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Minute_instDecidableEqOrdinal(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; 
x_3 = lean_int_dec_eq(x_1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Minute_instDecidableEqOrdinal___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Minute_instDecidableEqOrdinal(x_1, x_2);
lean_dec(x_2);
lean_dec(x_1);
x_4 = lean_box(x_3);
return x_4;
}
}
static lean_object* _init_l_Std_Time_Minute_instLEOrdinal() {
_start:
{
lean_object* x_1; 
x_1 = lean_box(0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Minute_instLTOrdinal() {
_start:
{
lean_object* x_1; 
x_1 = lean_box(0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Minute_instOfNatOrdinal___closed__0() {
_start:
{
lean_object* x_1; lean_object* x_2; 
x_1 = lean_unsigned_to_nat(0u);
x_2 = lean_nat_to_int(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Minute_instOfNatOrdinal(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; 
x_2 = l_Std_Time_Minute_instOfNatOrdinal___closed__0;
x_3 = lean_unsigned_to_nat(59u);
x_4 = l_Std_Time_Internal_Bounded_LE_instOfNatHAddIntCast(x_2, x_1, x_3);
return x_4;
}
}
static lean_object* _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__0() {
_start:
{
lean_object* x_1; lean_object* x_2; 
x_1 = lean_unsigned_to_nat(59u);
x_2 = l_instNatCastInt___lam__0(x_1);
return x_2;
}
}
static lean_object* _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__1() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Std_Time_Minute_instInhabitedOrdinal___closed__0;
x_2 = l_Std_Time_Minute_instOfNatOrdinal___closed__0;
x_3 = lean_int_add(x_2, x_1);
return x_3;
}
}
static lean_object* _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; 
x_1 = lean_unsigned_to_nat(0u);
x_2 = l_instNatCastInt___lam__0(x_1);
return x_2;
}
}
static lean_object* _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__3() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Std_Time_Minute_instOfNatOrdinal___closed__0;
x_2 = l_Std_Time_Minute_instInhabitedOrdinal___closed__1;
x_3 = lean_int_sub(x_2, x_1);
return x_3;
}
}
static lean_object* _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__4() {
_start:
{
lean_object* x_1; lean_object* x_2; 
x_1 = lean_unsigned_to_nat(1u);
x_2 = lean_nat_to_int(x_1);
return x_2;
}
}
static lean_object* _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__5() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Std_Time_Minute_instInhabitedOrdinal___closed__4;
x_2 = l_Std_Time_Minute_instInhabitedOrdinal___closed__3;
x_3 = lean_int_add(x_2, x_1);
return x_3;
}
}
static lean_object* _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__6() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Std_Time_Minute_instOfNatOrdinal___closed__0;
x_2 = l_Std_Time_Minute_instInhabitedOrdinal___closed__2;
x_3 = lean_int_sub(x_2, x_1);
return x_3;
}
}
static lean_object* _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__7() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Std_Time_Minute_instInhabitedOrdinal___closed__5;
x_2 = l_Std_Time_Minute_instInhabitedOrdinal___closed__6;
x_3 = lean_int_emod(x_2, x_1);
return x_3;
}
}
static lean_object* _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__8() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Std_Time_Minute_instInhabitedOrdinal___closed__5;
x_2 = l_Std_Time_Minute_instInhabitedOrdinal___closed__7;
x_3 = lean_int_add(x_2, x_1);
return x_3;
}
}
static lean_object* _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__9() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Std_Time_Minute_instInhabitedOrdinal___closed__5;
x_2 = l_Std_Time_Minute_instInhabitedOrdinal___closed__8;
x_3 = lean_int_emod(x_2, x_1);
return x_3;
}
}
static lean_object* _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__10() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Std_Time_Minute_instOfNatOrdinal___closed__0;
x_2 = l_Std_Time_Minute_instInhabitedOrdinal___closed__9;
x_3 = lean_int_add(x_2, x_1);
return x_3;
}
}
static lean_object* _init_l_Std_Time_Minute_instInhabitedOrdinal() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Minute_instInhabitedOrdinal___closed__10;
return x_1;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Minute_instDecidableLeOrdinal(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; 
x_3 = lean_int_dec_le(x_1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Minute_instDecidableLeOrdinal___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Minute_instDecidableLeOrdinal(x_1, x_2);
lean_dec(x_2);
lean_dec(x_1);
x_4 = lean_box(x_3);
return x_4;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Minute_instDecidableLtOrdinal(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; 
x_3 = lean_int_dec_lt(x_1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Minute_instDecidableLtOrdinal___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Minute_instDecidableLtOrdinal(x_1, x_2);
lean_dec(x_2);
lean_dec(x_1);
x_4 = lean_box(x_3);
return x_4;
}
}
static lean_object* _init_l_Std_Time_Minute_instOrdOrdinal___closed__0() {
_start:
{
lean_object* x_1; 
x_1 = lean_alloc_closure((void*)(l_Std_Time_Internal_Bounded_instOrd___lam__0___boxed), 1, 0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Minute_instOrdOrdinal___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_alloc_closure((void*)(l_instOrdInt___lam__0___boxed), 2, 0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Minute_instOrdOrdinal___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Std_Time_Minute_instOrdOrdinal___closed__0;
x_2 = l_Std_Time_Minute_instOrdOrdinal___closed__1;
x_3 = lean_alloc_closure((void*)(l_compareOn___boxed), 6, 4);
lean_closure_set(x_3, 0, lean_box(0));
lean_closure_set(x_3, 1, lean_box(0));
lean_closure_set(x_3, 2, x_2);
lean_closure_set(x_3, 3, x_1);
return x_3;
}
}
static lean_object* _init_l_Std_Time_Minute_instOrdOrdinal() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Minute_instOrdOrdinal___closed__2;
return x_1;
}
}
LEAN_EXPORT lean_object* l_Nat_cast___at___00Nat_cast___at___00Std_Time_Minute_instReprOffset_spec__0_spec__0(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = lean_nat_to_int(x_1);
return x_2;
}
}
static lean_object* _init_l_Std_Time_Minute_instReprOffset___closed__0() {
_start:
{
lean_object* x_1; 
x_1 = lean_alloc_closure((void*)(l_Std_Time_Internal_UnitVal_instRepr___lam__0___boxed), 2, 0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Minute_instReprOffset() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Minute_instReprOffset___closed__0;
return x_1;
}
}
LEAN_EXPORT lean_object* l_Nat_cast___at___00Std_Time_Minute_instReprOffset_spec__0(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; 
x_2 = lean_nat_to_int(x_1);
x_3 = l_Rat_ofInt(x_2);
return x_3;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Minute_instDecidableEqOffset(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; 
x_3 = lean_int_dec_eq(x_1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Minute_instDecidableEqOffset___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Minute_instDecidableEqOffset(x_1, x_2);
lean_dec(x_2);
lean_dec(x_1);
x_4 = lean_box(x_3);
return x_4;
}
}
static lean_object* _init_l_Std_Time_Minute_instInhabitedOffset___closed__0() {
_start:
{
lean_object* x_1; lean_object* x_2; 
x_1 = lean_unsigned_to_nat(60u);
x_2 = l_Nat_cast___at___00Std_Time_Minute_instReprOffset_spec__0(x_1);
return x_2;
}
}
static lean_object* _init_l_Std_Time_Minute_instInhabitedOffset___closed__1() {
_start:
{
lean_object* x_1; lean_object* x_2; 
x_1 = l_Std_Time_Minute_instInhabitedOffset___closed__0;
x_2 = l_Std_Time_Internal_instInhabitedUnitVal_default(x_1);
return x_2;
}
}
static lean_object* _init_l_Std_Time_Minute_instInhabitedOffset() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Minute_instInhabitedOffset___closed__1;
return x_1;
}
}
static lean_object* _init_l_Std_Time_Minute_instAddOffset___closed__0() {
_start:
{
lean_object* x_1; lean_object* x_2; 
x_1 = l_Std_Time_Minute_instInhabitedOffset___closed__0;
x_2 = lean_alloc_closure((void*)(l_Std_Time_Internal_UnitVal_add___boxed), 3, 1);
lean_closure_set(x_2, 0, x_1);
return x_2;
}
}
static lean_object* _init_l_Std_Time_Minute_instAddOffset() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Minute_instAddOffset___closed__0;
return x_1;
}
}
static lean_object* _init_l_Std_Time_Minute_instSubOffset___closed__0() {
_start:
{
lean_object* x_1; lean_object* x_2; 
x_1 = l_Std_Time_Minute_instInhabitedOffset___closed__0;
x_2 = lean_alloc_closure((void*)(l_Std_Time_Internal_UnitVal_sub___boxed), 3, 1);
lean_closure_set(x_2, 0, x_1);
return x_2;
}
}
static lean_object* _init_l_Std_Time_Minute_instSubOffset() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Minute_instSubOffset___closed__0;
return x_1;
}
}
static lean_object* _init_l_Std_Time_Minute_instNegOffset___closed__0() {
_start:
{
lean_object* x_1; 
x_1 = lean_alloc_closure((void*)(l_Int_neg___boxed), 1, 0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Minute_instNegOffset() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Minute_instNegOffset___closed__0;
return x_1;
}
}
static lean_object* _init_l_Std_Time_Minute_instToStringOffset___closed__0() {
_start:
{
lean_object* x_1; 
x_1 = lean_alloc_closure((void*)(l_Std_Time_Internal_UnitVal_instToString___lam__0___boxed), 1, 0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Minute_instToStringOffset() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Minute_instToStringOffset___closed__0;
return x_1;
}
}
static lean_object* _init_l_Std_Time_Minute_instLTOffset() {
_start:
{
lean_object* x_1; 
x_1 = lean_box(0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Minute_instLEOffset() {
_start:
{
lean_object* x_1; 
x_1 = lean_box(0);
return x_1;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Minute_instDecidableLeOffset(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; 
x_3 = lean_int_dec_le(x_1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Minute_instDecidableLeOffset___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Minute_instDecidableLeOffset(x_1, x_2);
lean_dec(x_2);
lean_dec(x_1);
x_4 = lean_box(x_3);
return x_4;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Minute_instDecidableLtOffset(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; 
x_3 = lean_int_dec_lt(x_1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Minute_instDecidableLtOffset___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Minute_instDecidableLtOffset(x_1, x_2);
lean_dec(x_2);
lean_dec(x_1);
x_4 = lean_box(x_3);
return x_4;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Minute_instOfNatOffset(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = lean_nat_to_int(x_1);
return x_2;
}
}
static lean_object* _init_l_Std_Time_Minute_instOrdOffset___closed__0() {
_start:
{
lean_object* x_1; 
x_1 = lean_alloc_closure((void*)(l_Std_Time_Internal_instOrdUnitVal___lam__0___boxed), 2, 0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Minute_instOrdOffset() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Minute_instOrdOffset___closed__0;
return x_1;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Minute_Ordinal_ofInt(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_inc(x_1);
return x_1;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Minute_Ordinal_ofInt___redArg(lean_object* x_1) {
_start:
{
lean_inc(x_1);
return x_1;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Minute_Ordinal_ofInt___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; 
x_3 = l_Std_Time_Minute_Ordinal_ofInt(x_1, x_2);
lean_dec(x_1);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Minute_Ordinal_ofInt___redArg___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Std_Time_Minute_Ordinal_ofInt___redArg(x_1);
lean_dec(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Minute_Ordinal_ofNat(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; 
x_3 = l_instNatCastInt___lam__0(x_1);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Minute_Ordinal_ofNat___redArg(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_instNatCastInt___lam__0(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Minute_Ordinal_ofFin(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_instNatCastInt___lam__0(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Minute_Ordinal_toOffset(lean_object* x_1) {
_start:
{
lean_inc(x_1);
return x_1;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Minute_Ordinal_toOffset___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Std_Time_Minute_Ordinal_toOffset(x_1);
lean_dec(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Minute_Offset_ofNat(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_instNatCastInt___lam__0(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Minute_Offset_ofInt(lean_object* x_1) {
_start:
{
lean_inc(x_1);
return x_1;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Minute_Offset_ofInt___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Std_Time_Minute_Offset_ofInt(x_1);
lean_dec(x_1);
return x_2;
}
}
lean_object* initialize_Std_Time_Time_Unit_Second(uint8_t builtin);
static bool _G_initialized = false;
LEAN_EXPORT lean_object* initialize_Std_Time_Time_Unit_Minute(uint8_t builtin) {
lean_object * res;
if (_G_initialized) return lean_io_result_mk_ok(lean_box(0));
_G_initialized = true;
res = initialize_Std_Time_Time_Unit_Second(builtin);
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l_Std_Time_Minute_instReprOrdinal___closed__0 = _init_l_Std_Time_Minute_instReprOrdinal___closed__0();
lean_mark_persistent(l_Std_Time_Minute_instReprOrdinal___closed__0);
l_Std_Time_Minute_instReprOrdinal = _init_l_Std_Time_Minute_instReprOrdinal();
lean_mark_persistent(l_Std_Time_Minute_instReprOrdinal);
l_Std_Time_Minute_instLEOrdinal = _init_l_Std_Time_Minute_instLEOrdinal();
lean_mark_persistent(l_Std_Time_Minute_instLEOrdinal);
l_Std_Time_Minute_instLTOrdinal = _init_l_Std_Time_Minute_instLTOrdinal();
lean_mark_persistent(l_Std_Time_Minute_instLTOrdinal);
l_Std_Time_Minute_instOfNatOrdinal___closed__0 = _init_l_Std_Time_Minute_instOfNatOrdinal___closed__0();
lean_mark_persistent(l_Std_Time_Minute_instOfNatOrdinal___closed__0);
l_Std_Time_Minute_instInhabitedOrdinal___closed__0 = _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__0();
lean_mark_persistent(l_Std_Time_Minute_instInhabitedOrdinal___closed__0);
l_Std_Time_Minute_instInhabitedOrdinal___closed__1 = _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__1();
lean_mark_persistent(l_Std_Time_Minute_instInhabitedOrdinal___closed__1);
l_Std_Time_Minute_instInhabitedOrdinal___closed__2 = _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__2();
lean_mark_persistent(l_Std_Time_Minute_instInhabitedOrdinal___closed__2);
l_Std_Time_Minute_instInhabitedOrdinal___closed__3 = _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__3();
lean_mark_persistent(l_Std_Time_Minute_instInhabitedOrdinal___closed__3);
l_Std_Time_Minute_instInhabitedOrdinal___closed__4 = _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__4();
lean_mark_persistent(l_Std_Time_Minute_instInhabitedOrdinal___closed__4);
l_Std_Time_Minute_instInhabitedOrdinal___closed__5 = _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__5();
lean_mark_persistent(l_Std_Time_Minute_instInhabitedOrdinal___closed__5);
l_Std_Time_Minute_instInhabitedOrdinal___closed__6 = _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__6();
lean_mark_persistent(l_Std_Time_Minute_instInhabitedOrdinal___closed__6);
l_Std_Time_Minute_instInhabitedOrdinal___closed__7 = _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__7();
lean_mark_persistent(l_Std_Time_Minute_instInhabitedOrdinal___closed__7);
l_Std_Time_Minute_instInhabitedOrdinal___closed__8 = _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__8();
lean_mark_persistent(l_Std_Time_Minute_instInhabitedOrdinal___closed__8);
l_Std_Time_Minute_instInhabitedOrdinal___closed__9 = _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__9();
lean_mark_persistent(l_Std_Time_Minute_instInhabitedOrdinal___closed__9);
l_Std_Time_Minute_instInhabitedOrdinal___closed__10 = _init_l_Std_Time_Minute_instInhabitedOrdinal___closed__10();
lean_mark_persistent(l_Std_Time_Minute_instInhabitedOrdinal___closed__10);
l_Std_Time_Minute_instInhabitedOrdinal = _init_l_Std_Time_Minute_instInhabitedOrdinal();
lean_mark_persistent(l_Std_Time_Minute_instInhabitedOrdinal);
l_Std_Time_Minute_instOrdOrdinal___closed__0 = _init_l_Std_Time_Minute_instOrdOrdinal___closed__0();
lean_mark_persistent(l_Std_Time_Minute_instOrdOrdinal___closed__0);
l_Std_Time_Minute_instOrdOrdinal___closed__1 = _init_l_Std_Time_Minute_instOrdOrdinal___closed__1();
lean_mark_persistent(l_Std_Time_Minute_instOrdOrdinal___closed__1);
l_Std_Time_Minute_instOrdOrdinal___closed__2 = _init_l_Std_Time_Minute_instOrdOrdinal___closed__2();
lean_mark_persistent(l_Std_Time_Minute_instOrdOrdinal___closed__2);
l_Std_Time_Minute_instOrdOrdinal = _init_l_Std_Time_Minute_instOrdOrdinal();
lean_mark_persistent(l_Std_Time_Minute_instOrdOrdinal);
l_Std_Time_Minute_instReprOffset___closed__0 = _init_l_Std_Time_Minute_instReprOffset___closed__0();
lean_mark_persistent(l_Std_Time_Minute_instReprOffset___closed__0);
l_Std_Time_Minute_instReprOffset = _init_l_Std_Time_Minute_instReprOffset();
lean_mark_persistent(l_Std_Time_Minute_instReprOffset);
l_Std_Time_Minute_instInhabitedOffset___closed__0 = _init_l_Std_Time_Minute_instInhabitedOffset___closed__0();
lean_mark_persistent(l_Std_Time_Minute_instInhabitedOffset___closed__0);
l_Std_Time_Minute_instInhabitedOffset___closed__1 = _init_l_Std_Time_Minute_instInhabitedOffset___closed__1();
lean_mark_persistent(l_Std_Time_Minute_instInhabitedOffset___closed__1);
l_Std_Time_Minute_instInhabitedOffset = _init_l_Std_Time_Minute_instInhabitedOffset();
lean_mark_persistent(l_Std_Time_Minute_instInhabitedOffset);
l_Std_Time_Minute_instAddOffset___closed__0 = _init_l_Std_Time_Minute_instAddOffset___closed__0();
lean_mark_persistent(l_Std_Time_Minute_instAddOffset___closed__0);
l_Std_Time_Minute_instAddOffset = _init_l_Std_Time_Minute_instAddOffset();
lean_mark_persistent(l_Std_Time_Minute_instAddOffset);
l_Std_Time_Minute_instSubOffset___closed__0 = _init_l_Std_Time_Minute_instSubOffset___closed__0();
lean_mark_persistent(l_Std_Time_Minute_instSubOffset___closed__0);
l_Std_Time_Minute_instSubOffset = _init_l_Std_Time_Minute_instSubOffset();
lean_mark_persistent(l_Std_Time_Minute_instSubOffset);
l_Std_Time_Minute_instNegOffset___closed__0 = _init_l_Std_Time_Minute_instNegOffset___closed__0();
lean_mark_persistent(l_Std_Time_Minute_instNegOffset___closed__0);
l_Std_Time_Minute_instNegOffset = _init_l_Std_Time_Minute_instNegOffset();
lean_mark_persistent(l_Std_Time_Minute_instNegOffset);
l_Std_Time_Minute_instToStringOffset___closed__0 = _init_l_Std_Time_Minute_instToStringOffset___closed__0();
lean_mark_persistent(l_Std_Time_Minute_instToStringOffset___closed__0);
l_Std_Time_Minute_instToStringOffset = _init_l_Std_Time_Minute_instToStringOffset();
lean_mark_persistent(l_Std_Time_Minute_instToStringOffset);
l_Std_Time_Minute_instLTOffset = _init_l_Std_Time_Minute_instLTOffset();
lean_mark_persistent(l_Std_Time_Minute_instLTOffset);
l_Std_Time_Minute_instLEOffset = _init_l_Std_Time_Minute_instLEOffset();
lean_mark_persistent(l_Std_Time_Minute_instLEOffset);
l_Std_Time_Minute_instOrdOffset___closed__0 = _init_l_Std_Time_Minute_instOrdOffset___closed__0();
lean_mark_persistent(l_Std_Time_Minute_instOrdOffset___closed__0);
l_Std_Time_Minute_instOrdOffset = _init_l_Std_Time_Minute_instOrdOffset();
lean_mark_persistent(l_Std_Time_Minute_instOrdOffset);
return lean_io_result_mk_ok(lean_box(0));
}
#ifdef __cplusplus
}
#endif
